
void recv_init();

void recv_departure();
